home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / readit.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  499 b   |  22 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :- save(readit,1), read_clause(0).
  5. main :- halt.
  6.  
  7. read_clause(N) :-
  8.     read(Cl),
  9.         (Cl=(:-(Directive)) ->
  10.                 handle_directive(Directive),
  11.         read_clause(N);
  12.         (Cl == end_of_file -> fail; 
  13.             write_clause(Cl,N),
  14.             N1 is N + 1,
  15.             read_clause(N1))).
  16.  
  17. handle_directive(X) :- X.
  18.  
  19. write_clause(Cl,N) :-
  20.     write('read_one_clause('), write(N), write(',('),
  21.     write_canonical(Cl), write(')).'), nl.
  22.